💻 programming languages - matmat · Scour

Programming languages for AI 💻Programming languages

blog.ploeh.dk·3d·

A WASM first programming language with effect typing 🧩WASM Components

voyd.dev·1d·Hacker News·

Programming Languages and Type Safety in the Era of LLMs 🦀Rust Macros

thecodedmessage.com·16h·

Introduction to Compilers and Language Design 📝Compiler Design

dthain.github.io·23m·

Azer0s/tin: A freshly canned systems language 🥫 💧Liquid Types

github.com·1d·Hacker News·

Linear types proposal for Hare 🔒Type Safety

yerinalexey.srht.site·23h·Lobsters, Hacker News·

Issue 518 🔗Functional Compilers

haskellweekly.news·4h·

A programming language specifically for AI code generation 🦀Rust Macros

aria-lang.com·6d·Hacker News·

Building CompilerSutra 🔨Compilers

docs.google.com·8h·DEV·

A+ 📊APL Heritage

aplwiki.com·2d·Hacker News·

The Beginning of Programming as We’ll Know It ⚡Proof Automation

bitsplitting.org·14h·Hacker News·

The Racket Programming Language 🧠Lisp Dialects

racket-lang.org·2d·Hacker News·

CodeSOD: Three Minutes 🌊Stream Processing

thedailywtf.com·3d·

The Grammar at the Threshold of Its Own Execution 📝Concrete Syntax

jimiwen.substack.com·11h·Substack·

The Lisp Curse 🧠Lisp Dialects

winestockwebdesign.com·1d·

Challenges of specifying and compiling gas-fueled languages 🔗Functional Compilers

rubber-duck-typing.com·21h·Hacker News·

PANE: Programming with visible data 🔗Concatenative Programming

joshuahhh.com·6d·

What next for junior developers? 🦀Rust Macros

infoworld.com·1d·Hacker News·

Abstract Semantic Graph 🔢Denotational Semantics

en.wikipedia.org·1d·Hacker News·

Validation library that works the same across 10 languages ✅Format Verification

anyvali.com·3d·Hacker News·

Loading more...